Minor Texinfo usage fix.
authorRichard M. Stallman <rms@gnu.org>
Mon, 14 Oct 2002 01:31:35 +0000 (01:31 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 14 Oct 2002 01:31:35 +0000 (01:31 +0000)
commitfda8c01260faac3795883cb63ad5cfab51cafe33
treeaa7c73eb96178a9db1109559f56dcc8cf85074bf
parentffa2f56af3c0cc9b23194174dbc4d70d37c05ccd
Minor Texinfo usage fix.
man/widget.texi